함수형 프로그래밍

John Hughes의 Why functional programming matters에서는 함수형 언어의 장점을 아래와 같이 설명한다.

Conventional languages place conceptual limits on the way problems can be modularized. Functional languages push those limits back. In this paper we show that two features of functional languages in particular, higher-order functions and lazy evaluation, can contribute greatly to modularity.

프로그래밍 패러다임 “In turn, a functional programming language is one that supports and encourages the functional style….”
Denotational semantics 이 글을 인용: “This turned out to be an important observation that not only gave denotational semantics a new lease on life an…”
Dependency inversion 이 글을 인용: “함수형 프로그래밍에서는 고차 함수, 객체지향프로그래밍에서는 다형성으로 의존성을 뒤집는다.”
정적 프로그램과 동적 프로세스 이 글을 인용: “심지어 몇몇 언어(주로 함수형 언어)에서는 변수의 값도 불변으로 제약한다.”
린 (프로그래밍 언어) 이 글을 인용: “Lean is a functional programming language that makes it easy to write correct and maintainable code.”
Seeing again: treatment of functional visual loss “There is very little published literature on treatment strategies for functional visual loss.”
Mutable data 이 글을 인용: “For this reason, an entire school of software development—functional programming—is based on the notion that da…”
Roles of variables framework “Its value can, however, also be calculated directly in functional languages or languages that encompass certain…”
긴 함수 “Older languages carried an overhead in subroutine calls, which deterred people from small functions.”
AI 시대의 프로그래밍 교육 “실제로 프로그래밍 교육은 수학적 추론, 창의적 문제 해결 등 일부 인지적 능력을 향상시키는 전이 효과가 있다.”
분산된 기능적 분해 “여기에서 "기능적(functional)"이라는 게 뜻하는 것은, 전체 시스템을 이해하고자 할 때 중요한 것은 각 요소가 수행하는 역할(기능)이지, 각 요소가 어떻게 구현되어 있는지가 아니라는 점이다.”
Aspect-oriented programming is quantification and obliviousness “Consequences of this perspective are the recognition that certain systems are not AOP and that some mechanisms …”
Inductive type 관련 절: 프로그래밍 언어 예시
프로그래밍은 비인간적이다 “새로운 편집기, 새로운 프로그래밍 언어, 새로운 운영체제, 새로운 기술도메인, 새로운 업무 도메인에서 개발해보기.”
애스펙트 지향 프로그래밍 “OOP is a popular programming language technology.”
The cognitive benefits of learning computer programming: A meta-analysis of transfer effects “Does computer programming teach students how to think?”
마음의 모듈성 “Informational encapsulation, modules need not refer to other psychological systems in order to operate.”
AI 지원 프로그래밍을 위한 새 실천법 주제어가 겹침
Convex function “The classic U-shaped functions are strictly convex functions.”
자바와 자바스크립트의 관계 “만약 스킴이 탑재됐다면 함수형 언어가 크게 대중화될 뻔 했다.”